$g$$\downarrow$hgrp $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$<\mid$$g$$\mid^{+}$, =$_{b}$$g$, $\leq_{b}$$g$, $\ast$$g$, e$g$, $\lambda$$x$.$x$$>$